Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
461	Memory Association Machine: Growing Form from Context Benjamin David Robert Bogart Thecla Schiphorst Add to Reading List Source URL: puredata.info Language: English - Date: 2012-02-22 09:40:24 Information technology management Database management systems Database theory Business intelligence Data analysis Big data Analytics Data visualization Database Data management Technology Formal sciences
462	Harnessing Big Data to Solve Complex Problems: The Cloud Analytics Reference Architecture Add to Reading List Source URL: mena.boozallen.com Language: English - Date: 2015-04-28 20:22:42 Information technology management Database management systems Database theory Business intelligence Data analysis Big data Analytics Data visualization Database Data management Technology Formal sciences
463	WORKSHEET 2: ENERGY MANAGEMENT MATRIX LEVEL POLICY AND SYSTEMS ORGANIZATION MOTIVATION INFORMATION SYSTEMS TRAINING AND AWARENESS INVESTMENT 4 Formal energy / environmental policy and management system, action plan and Add to Reading List Source URL: www.energyefficiencyasia.org Language: English - Date: 2006-01-02 23:26:24 Energy policy Technology Building engineering Energy conservation Environmental issues with energy Sustainable building Sustainable energy Energy industry International Partnership for Energy Efficiency Cooperation Energy economics Energy Environment
464	Kx Systems DEFENCE TECHNOLOGY Revolutionizing Utilities with Better Data Analytics 20 MOST PROMISING Add to Reading List Source URL: kx.com Language: English - Date: 2015-01-08 18:42:08 Emerging technologies Database management systems Formal sciences Business intelligence Electric power distribution K Smart grid Smart meter Big data Technology Computing Data management
465	in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Presspp 15–18 1 Formal Description of Autopoiesis for Analytic Models of Life and Social Systems Add to Reading List Source URL: alife8.alife.org Language: English - Date: 2013-01-14 08:21:50 Autopoiesis Cybernetics Philosophy of mind Self-organization Systems theory Thermodynamics Group action Abstract algebra Mathematical analysis Mathematics
466	UKTC Product Development Lifecycle Template – Legacy Product The purpose of this document is to provide a formal template that can guide the developer in the type of information required by the UKTC Edition Committee i Add to Reading List Source URL: systems.hscic.gov.uk Language: English HTML element Risk Public safety Ethics Backward compatibility Deprecation
467	UKTC Product Development Lifecycle Template – Draft for Trial Use The purpose of this document is to provide a formal template that can guide the developer in the type of information required by the UKTC Edition Commit Add to Reading List Source URL: systems.hscic.gov.uk Language: English Technology Science Quality assurance Specification Software development process Quality Evaluation Standards
468	COVER STORY V GET READY FOR —I Add to Reading List Source URL: www.unilogcorp.com Language: English - Date: 2014-01-30 00:52:05 Technology Database management systems Formal sciences Information technology management Database theory Big data Apache Hadoop Database Data warehouse Data management Computing Business intelligence
469	« Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-05-01 14:30:35 Applied mathematics Knowledge Abstract interpretation Software engineering Formal verification Software verification Software development process Computer science System Science Formal methods Patrick Cousot

UPDATE